doctools: Remove unused variable
authorBenjamin Otte <otte@redhat.com>
Tue, 28 May 2013 14:06:59 +0000 (16:06 +0200)
committerBenjamin Otte <otte@redhat.com>
Tue, 28 May 2013 14:06:59 +0000 (16:06 +0200)
commitd9a28a875cb84906c1f0a61de6a129048ee57278
tree3ba6aa17c503e19523caa869f74445ad488f60fb
parentcbeda47591f1182b4e4d1bdc6ca69d2497e7874e
doctools: Remove unused variable
docs/tools/widgets.c